若以“Ds”表示被定义项、“S1、S2……”表示种差项、“G”表示邻近的属概念、“=df．”表示定义联项，则“合同是民事主体之间设立、变更、终止民事法律关系的协议。”（《中华人民共和国民法典》第464条第1款）这一法律概念的逻辑结构，可用符号公式刻画为（ ）答案: Ds=df．（S1∨S2∨S3）+G